Bidirectionally Tolerating Inconsistency: Partial Transformations
نویسنده
چکیده
A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, however, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from among equally good candidates. In this paper, we formalise properties that may nevertheless hold in such circumstances and discuss relationships and implications.
منابع مشابه
Circumscribing Inconsistency
We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion...
متن کاملTolerating Inconsistency in Feature Models
Feature models have been widely adopted to reuse the requirements of a set of similar products in a domain. When constructing feature models, it is difficult to always ensure the consistency of feature models. Therefore, tolerating inconsistencies is important during the construction of feature models. The usual way of tolerating inconsistencies is to find the minimal unsatisfiable core. Howeve...
متن کاملA Tableau Algorithm for Handling Inconsistency in OWL
In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic, OWL is lack of the ability of tolerating inconsistent or incomplete data. Recently, the research in handling inconsistency in OWL becomes more and more important. In this paper, we present a paraconsistent ...
متن کامل"Tolerating Inconsistency" Revisited
We're surrounded by inconsistency: in our requirements, in the data that our software processes, and in those software systems themselves. Yet our formal systems can't handle such inconsistency. Most of them lose the ability to form any valid conclusions or analyses in the presence of even a single inconsistency. This forces our programs to operate in terms of an idealized model rather than the...
متن کاملTransitions from partial to complete generalized synchronizations in bidirectionally coupled chaotic oscillators.
Generalized synchronization in an array of mutually (bidirectionally) coupled nonidentical chaotic oscillators is studied. Coupled Lorenz oscillators and coupled Lorenz-Rossler oscillators are adopted as our working models. With increasing the coupling strengths, the system experiences a cascade of transitions from the partial to the global generalized synchronizations, i.e., different oscillat...
متن کامل